calculus of communicating systems การใช้

For such cases, the calculus of communicating systems ( CCS ) is more useful.
Beginning in the late 1970s, process calculi such as Calculus of Communicating Systems and Communicating Sequential Processes were developed to permit algebraic reasoning about systems composed of interacting components.
Research on process calculi began in earnest with Robin Milner's seminal work on the Calculus of Communicating Systems ( CCS ) during the period from 1973 to 1980.
The approach taken in developing CSP into a process algebra was influenced by Robin Milner's work on the Calculus of Communicating Systems ( CCS ), and vice versa.
In a very different area, Milner also developed a theoretical framework for analyzing concurrent systems, the calculus of communicating systems ( CCS ), and its successor, the pi-calculus.